Explanation Based Program Transformation
نویسندگان
چکیده
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programming, we present a technique where the folding is driven by an example. The transformation is aimed at programs suffering from inefficiencies due to the repetition of identical subcomputations. The execution of an example is analysed to locate repeated subcomputations. Then the structure of the example is used to control a fold-unfoldtransformation of the program. The transformation can be automated. The method can be regarded as an extension of explanation based learning.
منابع مشابه
Some Thoughts on the Role of Examples in Program Transformation and its Relevance for Explanation-based Learning
Explanation-based learning is using the same technique as partial evaluation, namely unfolding. However, it brings a new insight: an example can be used to guide the transformation process. In this paper, we further explore this insight and show how examples can be used to guide other kinds of program transformation, guiding not only the unfolding, but also the introduction of new predicates an...
متن کاملA Survey of Program Transformation With Special Reference to Unfold/Fold Style Program Development
This paper consists of a survey of current, and past, work on program transformation for the purpose of optimization. We first discuss some of the general methodological frameworks for program modification, such as analogy, explanation based learning, partial evaluation, proof theoretic optimization, and the unfold/fold technique. These frameworks are not mutually exclusive, and the latter, unf...
متن کاملDynamic Optimization
We distinguish static and dynamic optimization of programs: whereas static optimization modifies a program before runtime and is based only its syntactical structure, dynamic optimization is based on the statistical properties of the input source and examples of program execution. Explanation-based generalization is a commonly used dynamic optimization method, but its effectiveness as a speedup...
متن کاملExplanation of the Management Challenges of Health System Reform in Health Care Domain city QOM: A Qualitative Study (Iran)
Background and Objectives: Assessment, identification, and presentation of management challenges of running programs can help policymakers and administrators to overcome these deficiencies and achieve the objectives of the plan. This study was conducted with the aim of explanation of the management challenges and solutions for its elimination in the health sector of health system reform plan Qo...
متن کاملTransformation Management in the Program of development and Innovation in Medical Science Education: A Survey of Experts' Viewpoints
Background and Purpose:The program of development and innovation in medical education with realistic understanding of the current situation of health education, has developed clever strategies for development of health education system. This research has been done to investigate the management status of this program. Method:Thiscross-sectional study was descriptive-analytic.The population were ...
متن کامل